#ifndef __USER_MUTEX_EXPORT
#define __USER_MUTEX_EXPORT


#include "user_threads.h" /* thread_id */


void _mutex_cleanup(thread_id t);
/* The user_threads model must call this function each time a
	a uthread exits.
	This function must be called before the actual deletion of the struct
	holding 't', so that the functions:
		get_mutex_waiting_for()
		get_mutexes_locking_front()
	could be called from this function.

	We assume that when this function is called the interrupts are masked (no
	context-switch is possible).
*/


#endif

